1. ACM SIGPLAN Erlang Workshop'02 : A satellite event of PLI 2002 : October 7, 2002, Pittsburgh, Pennsylvania, USA
پدیدآورنده:
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، ERLANG )Computer program language(,Congresses ، Programming languages )Electronic computers(,Congresses ، Computer software
رده :
QA
76
.
73
.
E75A26
2002
2. AML--The Agent Modeling Language
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Intelligent agents (Computer software) ; Computer software ; Development. ; Programming languages (Electronic computers) ;
3. Algebraic Informatics
پدیدآورنده: \ Andreas Maletti (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Algebra -- Data processing -- Congresses.,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار ,زبانهای برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,جبر -- داده‌پردازی -- کنگره ها
رده :
QA
76
.
76
.
A55
2015
E-Book
,
4. Applied HyperTalk stackware
پدیدآورنده: / Jerry Daniels and Mary Jane Mara
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers)- Software
رده :
QA76
.
7
.
D35
1989
5. Applied HyperTalk stackware : the scripting process revealed
پدیدآورنده: Daniels, Jerry
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Software ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
D35
1989
6. C express :250 ready-to-run assembly language routines
پدیدآورنده: Robert Jourdain
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Programming languages (Electronic computers)--Software
رده :
QA
،
76
.
7
،.
J675
7. C express: 250 ready-to-run assembly- language routines
پدیدآورنده: / Robert Jourdain
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers) software
رده :
QA76
.
7
.
J675
1989
8. Code craf
پدیدآورنده: / Pete Goodliffe
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer programming.,Computer software--Development,Programming languages (Electronic computers)
رده :
QA
,
76
.
6
,.
G656
,
2006eb
9. Code craft
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer programming. ; Programming languages (Electronic computers) ; Computer software ; Development. ;
10. Computer-aided design of language processors
پدیدآورنده: Shangin, V. F.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Translators )Computer programs(,، Computer-aided software engineering,، Programming languages )Electronic computers(
رده :
QA
76
.
76
.
T83
S53
11. DIANA An Intermediate Language for Ada
پدیدآورنده: edited by Gerhard Goos, William A. Wulf, Arthur Evans, Kenneth J. Butler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
73
.
A35
E358
1983
12. Dart in action
پدیدآورنده: Chris Buckett
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Application software,Programming languages (Electronic computers)
رده :
QA76
.
76
.
A65
B83
2012
13. Declarative agent languages and technologies : first International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003; revised selected and invited papers
پدیدآورنده: Joao Leite...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Intelligent agents )Computer software(
رده :
QA
76
.
L28
Vol
.
2990
14. Deductive Software Verification – The KeY Book
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Programming languages (Electronic computers) ,Software engineering,علوم کامپیوتر ,زبانهای برنامه‌نویسی کامپیوتر,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
E-Book
,
15. Domain-specific modelin
پدیدآورنده: / Steven Kelly, Juha-Pekka Tolvanen
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers),Computer software--Development
رده :
QA
,
76
.
7
,.
K45
,
2008eb
16. Domain-specific modeling
پدیدآورنده: / Steven Kelly, Juha-Pekka Tolvanen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Programming languages (Electronic computers),Computer software- Development
رده :
QA76
.
7
.
K45
2008
17. Essential.NET
پدیدآورنده: / Don Box, with Chris Sells
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Microsoft .NET,Common Language Runtime (Computer science),Component software,Programming languages (Electronic computers)
رده :
QA76
.
76
.
M52
,
B69
2003
18. Formal Methods and Software Development :
پدیدآورنده: edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Programming languages (Electronic computers),Software engineering.
19. Formal specification and software development
پدیدآورنده: Bjorner, Dines, 7391-
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Computer software -- Development,، Programming languages )Electronic computers(
رده :
QA
76
.
6
.
B575
20. High-level languages and software applications
پدیدآورنده: William J. Birnes, editor
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Programming languages (Electronic computers),Computer software
رده :
QA
،
76
,.
7
،
H515
،
1989
